Approximating clique-width and branch-width

نویسندگان

  • Sang-il Oum
  • Paul D. Seymour
چکیده

We construct a polynomial-time algorithm to approximate the branch-width of certain symmetric submodular functions, and give two applications. The first is to graph “clique-width”. Clique-width is a measure of the difficulty of decomposing a graph in a kind of tree-structure, and if a graph has clique-width at most k then the corresponding decomposition of the graph is called a “k-expression”. We find (for fixed k) an O(n log n)-time algorithm that, with input an n-vertex graph, outputs either a (2 − 1)expression for the graph, or a true statement that the graph has clique-width at least k + 1. (The best earlier algorithm algorithm, by Johansson [13], constructed a 2k log n-expression for graphs of clique-width at most k.) It was already known that several graph problems, NPhard on general graphs, are solvable in polynomial time if the input graph comes equipped with a k-expression (for fixed k). As a consequence of our algorithm, the same conclusion follows under the weaker hypothesis that the input graph has clique-width at most k (thus, we no longer need to be provided with an explicit k-expression). Another application is to the area of matroid branch-width. For fixed k, we find an O(n)time algorithm that, with input an n-element matroid in terms of its rank oracle, either outputs a branch-decomposition of width at most 3k − 1 or a true statement that the matroid has branch-width at least k + 1. The previous algorithm by Hliněný [11] was only for representable matroids.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Parametrized Algorithm for Matroid Branch-Width

Branch-width is a structural parameter very closely related to tree-width, but branch-width has an immediate generalization from graphs to matroids. We present an algorithm that, for a given matroid M of bounded branch-width t which is represented over a finite field, finds a branch decomposition of M of width at most 3t in cubic time. Then we show that the branch-width of M is a uniformly fixe...

متن کامل

Fast algorithms for vertex subset and vertex partitioning problems on graphs of low boolean-width⋆

We consider the graph parameter boolean-width, related to the number of different unions of neighborhoods across a cut of a graph. Boolean-width is similar to rankwidth, which is related to the number of GF [2]-sums (1+1=0) of neighborhoods instead of the Boolean-sums (1+1=1) used for boolean-width. It compares well to the other four well-known width parameters tree-width, branch-width, clique-...

متن کامل

Solving Hamiltonian Cycle by an EPT Algorithm for a Non-sparse Parameter

Many hard graph problems, such as Hamiltonian Cycle, become FPT when parameterized by treewidth, a parameter that is bounded only on sparse graphs. When parameterized by the more general parameter cliquewidth, Hamiltonian Cycle becomes W[1]-hard, as shown by Fomin et al. [5]. Sæther and Telle address this problem in their paper [13] by introducing a new parameter, split-matching-width, which li...

متن کامل

On Fixed-Parameter Tractable Parameterizations of SAT

We survey and compare parameterizations of the propositional satisfiability problem (SAT) in the framework of Parameterized Complexity (Downey and Fellows, 1999). In particular, we consider (a) parameters based on structural graph decompositions (tree-width, branch-width, and clique-width), (b) a parameter emerging from matching theory (maximum deficiency), and (c) a parameter defined by transl...

متن کامل

Rank-width and Well-quasi-ordering of Skew-symmetric Matrices: (extended abstract)

Robertson and Seymour prove that a set of graphs of bounded tree-width is wellquasi-ordered by the graph minor relation. By extending their methods to matroids, Geelen, Gerards, and Whittle prove that a set of matroids representable over a fixed finite field are well-quasi-ordered if it has bounded branch-width. More recently, it is shown that a set of graphs of bounded rank-width (or clique-wi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Comb. Theory, Ser. B

دوره 96  شماره 

صفحات  -

تاریخ انتشار 2006